micro-PRL - définition. Qu'est-ce que micro-PRL
Diclib.com
Dictionnaire ChatGPT
Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:

Traduction et analyse de mots par intelligence artificielle ChatGPT

Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:

  • comment le mot est utilisé
  • fréquence d'utilisation
  • il est utilisé plus souvent dans le discours oral ou écrit
  • options de traduction de mots
  • exemples d'utilisation (plusieurs phrases avec traduction)
  • étymologie

Qu'est-ce (qui) est micro-PRL - définition

WIKIMEDIA DISAMBIGUATION PAGE
PRL (disambiguation)

PRL         
Proof Refinement Logic. Versions: micro-PRL, lambda-PRL, nu-PRL. ["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983]. (1995-01-24)
Micro Forté         
VIDEO GAME DEVELOPMENT COMPANY
Micro Forte
Micro Forté Pty Ltd is an Australian electronic entertainment company with development studios in Canberra and Sydney. Founded in 1985 by John De Margheriti at a time when there was little game development presence in Australia, Micro Forté has been closely linked to the growth of the Australian game development industry, with CEO De Margheriti initiating events such as the Australian Game Developers Conference (AGDC) and founding the Academy of Interactive Entertainment (AIE).
The Micro User         
UK MAGAZINE
Acorn Computing; BBC Micro User; Acorn computing; Micro User
The Micro User (titled BBC Micro User in the first three issues) was a British specialist magazine catering to users of the BBC Microcomputer series, Acorn Electron, Acorn Archimedes and, to a limited extent, the Cambridge Z88. It had a comprehensive mix of reviews of games, application software, and the latest Acorn computers; type-in programs (duplicated on a "cover disk" which was available separately), a correspondence page offering help with computer problems, and approachable technical articles on programming and the BBC Micro's internals.

Wikipédia

PRL